Exact Fermi coordinates for a class of spacetimes

We find exact Fermi coordinates for timelike geodesic observers for a class of spacetimes that includes anti-de Sitter spacetime, de Sitter spacetime, the constant density interior Schwarzschild spacetime with positive, zero, and negative cosmological constant, and the Einstein static universe. Maximal charts for Fermi coordinates are discussed.Comment: 15 page

A Progressive Approach to Content Generation

Abstract. PCG approaches are commonly categorised as constructive, generate-and-test or search-based. Each of these approaches has its distinctive advantages and drawbacks. In this paper, we propose an approach to Content Generation (CG) – in particular level generation – that combines the advantages of construc-tive and search-based approaches thus providing a fast, flexible and reliable way of generating diverse content of high quality. In our framework, CG is seen from a new perspective which differentiates between two main aspects of the game-play experience, namely the order of the in-game interactions and the associated level design. The framework first generates timelines following the search-based paradigm. Timelines are game-independent and they reflect the rhythmic feel of the levels. A progressive, constructive-based approach is then implemented to evaluate timelines by mapping them into level designs. The framework is applied for the generation of puzzles for the Cut the Rope game and the results in terms of performance, expressivity and controllability are characterised and discussed.

Automated Problem Decomposition for the Boolean Domain with Genetic Programming

Researchers have been interested in exploring the regularities and modularity of the problem space in genetic programming (GP) with the aim of decomposing the original problem into several smaller subproblems. The main motivation is to allow GP to deal with more complex problems. Most previous works on modularity in GP emphasise the structure of modules used to encapsulate code and/or promote code reuse, instead of in the decomposition of the original problem. In this paper we propose a problem decomposition strategy that allows the use of a GP search to find solutions for subproblems and combine the individual solutions into the complete solution to the problem

Limit curve theorems in Lorentzian geometry

The subject of limit curve theorems in Lorentzian geometry is reviewed. A general limit curve theorem is formulated which includes the case of converging curves with endpoints and the case in which the limit points assigned since the beginning are one, two or at most denumerable. Some applications are considered. It is proved that in chronological spacetimes, strong causality is either everywhere verified or everywhere violated on maximizing lightlike segments with open domain. As a consequence, if in a chronological spacetime two distinct lightlike lines intersect each other then strong causality holds at their points. Finally, it is proved that two distinct components of the chronology violating set have disjoint closures or there is a lightlike line passing through each point of the intersection of the corresponding boundaries.Comment: 25 pages, 1 figure. v2: Misprints fixed, matches published versio

The random phase approximation applied to ice

Standard density functionals without van der Waals interactions yield an unsatisfactory description of ice phases, specifically, high density phases occurring under pressure are too unstable compared to the common low density phase I$_h$ observed at ambient conditions. Although the description is improved by using functionals that include van der Waals interactions, the errors in relative volumes remain sizable. Here we assess the random phase approximation (RPA) for the correlation energy and compare our results to experimental data as well as diffusion Monte Carlo data for ice. The RPA yields a very balanced description for all considered phases, approaching the accuracy of diffusion Monte Carlo in relative energies and volumes. This opens a route towards a concise description of molecular water phases on surfaces and in cavities

Distributional fixed point equations for island nucleation in one dimension: a retrospective approach for capture zone scaling

The distributions of inter-island gaps and captures zones for islands nucleated on a one-dimensional substrate during submonolayer deposition are considered using a novel retrospective view. This provides an alternative perspective on why scaling occurs in this continuously evolving system. Distributional fixed point equations for the gaps are derived both with and without a mean field approximation for nearest neighbour gap size correlation. Solutions to the equations show that correct consideration of fragmentation bias justifies the mean field approach which can be extended to provide closed-from equations for the capture zones. Our results compare favourably to Monte Carlo data for both point and extended islands using a range of critical island size $i=0,1,2,3$. We also find satisfactory agreement with theoretical models based on more traditional fragmentation theory approaches.Comment: 9 pages, 7 figures and 1 tabl